partition lattice

分划格